Extending the Useful Application Domain for Formal Methods
نویسندگان
چکیده
Research into the industrial application of formal methods has concentrated almost exclusively on the speci cation of software systems in high-risk or safety critical applications Thus, attention has been directed to technical problems with technical systems. In this paper we justify and report early results from a research project which aims to evaluate the implications of using the formal speci cation language Object-Z as an analytic tool in an Information Systems environment. in J.E. Nicholls (Ed.) (1992), Z User Workshop: York, 1991, Springer Verlag, London
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملTowards a methodology for rigorous development of generic requirements patterns
We present work in progress on a methodology for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. We consider the failure detectio...
متن کاملRetrenchment: Extending the Reach of Refinement
Discussion of a simple example demonstrates various expressive limitations of the refinement calculus, and suggests a liberalization of refinement, called retrenchment, which will support an analogous formal development calculus. Useful concrete system behaviour can be specified outside the domain of pure refinement, and a case is made for fluidity between I/O and state components across the de...
متن کاملOntoComP: A Protégé Plugin for Completing OWL Ontologies
We describe OntoComP, a Protégé 4 plugin that supports ontology engineers in completing OWL ontologies. More precisely, OntoComP supports an ontology engineer in checking whether an ontology contains all the relevant information about the application domain, and in extending the ontology appropriately if this is not the case. It acquires complete knowledge about the application domain efficient...
متن کامل